Classical propositional logic and decidability of variables in intuitionistic propositional logic

摘要

We improve the answer to the question: what set of excluded middles forpropositional variables in a formula suffices to prove the formula inintuitionistic propositional logic whenever it is provable in classicalpropositional logic.